On Functionals of a Marked Poisson Process Observed by a Renewal Process

We study the functionals of a Poisson marked process Π observed by a renewal process. A sequence of observations continues until Π crosses some fixed level at one of the observation epochs (the first passage time). In various stochastic models applications (such as queueing with N-policy combined with multiple vacations), it is necessary to operate with the value of Π prior to the first passage time, or prior to the first passage time plus some random time. We obtain a time-dependent solution to this problem in a closed form, in terms of its Laplace transform. Many results are directly applicable to the time-dependent analysis of queues and other stochastic models via semi-regenerative techniques. 2000 Mathematics Subject Classification. 60K10, 60K15, 60K25.